AXIOMATIZATION TOWARDS LOGICAL INVESTIGATION OF VALIDITY OF PLANNING ACTION
نویسندگان
چکیده
منابع مشابه
investigation of thermal comfort properties of woven sport fabric using blend of estabragh fibers
امروزه لباس در نظر ورزشکاران و کسانی که برای اوقات فراغت خود و یا برای رسیدن به اندامی متعادل، ورزش می کنند؛ بسیار با اهمیت است. احساس مطلوب از لباس در زمره خصوصیات راحتی پوشش می باشد. خصوصیات انتقال رطوبت لباس، در ارزیابی راحتی حسی و حرارتی منسوجات تولید شده از آن ها بسیار مهم است. هدف از این تحقیق، معرفی پارچه جدید است که متشکل از الیاف استبرق با خواص منحصر به فرد می باشد. استبرق لیف طبیعی تو...
the effects of planning on accuracy and complexity of iranian efl students’ written narrative task performance
this study compared the different effects of form-focused guided planning vs. meaning-focused guided planning on iranian pre-intermediate students’ task performance. the study lasted for three weeks and concentrated on eight english structures. forty five pre-intermediate iranian students were randomly assigned to three groups of guided planning focus-on-form group (gpfg), guided planning focus...
15 صفحه اولTowards an Expressive Practical Logical Action Theory
In the area of reasoning about actions, one of the key computational problems is the projection problem: to find whether a given logical formula is true after performing a sequence of actions. This problem is undecidable in the general situation calculus; however, it is decidable in some fragments. We consider a fragment P of the situation calculus and Reiter’s basic action theories (BAT) such ...
متن کاملTowards an Expressive Decidable Logical Action Theory
In the area of reasoning about actions, one of the key computational problems is the projection problem: to find whether a given logical formula is true after performing a sequence of actions. This problem is undecidable in the general situation calculus; however, it is decidable in some fragments. We consider a fragment P of the situation calculus and Reiter’s basic action theories (BAT) such ...
متن کاملinvestigation of effective parameters on the rigidity of light composite diaphragms (psscb) by fem
در این رساله با معرفی سقف های psscb متشکل از ترکیب ورق های فولادی ذوزنقه ای و تخته های سیمانی الیافی به عنوان سقف های پیش ساخته (سازگار با سیستم سازه ای قاب های فولادی سبک) به بررسی پارامترهای موثر بر صلبیت سقف، پرداخته می شود. در تحقیق حاضر ابتدا به مدل سازی دو نمونه سقف آزمایش شده، به روش اجزاء محدود با استفاده از نرم افزار تحلیلی abaqus ver 6.10 پرداخته شده است. نمونه های ساخته شده تحت اعما...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Architecture and Planning (Transactions of AIJ)
سال: 2000
ISSN: 1340-4210,1881-8161
DOI: 10.3130/aija.65.157_3